workspace: Actually apply top overlap to the top

The top overlap is accidentally being applied to the left edge right
now, fix that and apply it correctly to the top edge.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1698>

diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index c7021fe5acff925636f2b254c5fa7ecda0d28dfd..730ad2061586d73b520fd9258e08ec19ae3858d9 100644 (file)
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -470,9 +470,9 @@ var WorkspaceLayout = GObject.registerClass({
 
         if (containerBox) {
             const [topOverlap, bottomOverlap] = window.overlapHeights();
-            containerBox.x1 += leftOversize + topOverlap;
+            containerBox.x1 += leftOversize;
             containerBox.x2 -= rightOversize;
-            containerBox.y1 += topOversize;
+            containerBox.y1 += topOversize + topOverlap;
             containerBox.y2 -= bottomOversize + bottomOverlap;
         }